1. Constraint-Programmierung :
Author: Thom Frühwirth, Slim Abdennadher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science),Constraint-logische Programmierung.,Constraint-Programmierung.
2. Effektiv Programmieren in C und C++ :
Author: von Dietmar Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
3. Effektiv Programmieren in C und C++ :
Author: von Dietmar Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
76
.
C65
V663
2001
4. Effektiv Programmieren in C und C++ :
Author: von Dietmar Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
5. Effektiv Programmieren in C und C++ :
Author: von Dietmar Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
76
.
C65
V663
1999
6. Expertensysteme :
Author: von Peter Schnupp, Ute Leibrandt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
76
.
E95
V667
1988
7. Grundkurs Verteilte Systeme Grundlagen und Praxis des Client-Server und Distributed Computing
Author: Günther Bengel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Computer science,Computer science.
8. Kurs in Logischer Programmierung
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science.,Logische Programmierung
9. Logic for computer scientists /
Author: Uwe Schöning.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
Classification :
QA9
.
S363
1989
10. Logische und methodische Grundlagen der Programm- und Systementwicklung :
Author: Manfred Broy ; unter Mitarbeit von Alexander Malkis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
11. Methodik der Programmierung in Pascal
Author: von Rudolf Marty.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA76
.
73
.
P2
V667
1983
12. 5. Österreichische Artificial-Intelligence-Tagung :
Author: edited by Johannes Retti, Karl Leidlmair.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Translators (Computer programs)
13. Termersetzungssysteme :
Author: von Klaus Drosten.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
R48
V665
1989
14. Theorie der logischen Programmierung Eine elementare Einführung
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science.,Logische Programmierung
